2353a840e98aab6ca975300650a5903142b9af69,workbench/mps-workbench/source/jetbrains/mps/ide/editorTabs/tabfactory/tabs/plaintabs/PlainTabsComponent.java,PlainTabsComponent,prevTab,#,290

Before Change



    int i = myJbTabs.getSelectedIndex();
    if (i > 0) {
      myJbTabs.setSelectedIndex(i - 1);
    }
  }

After Change



    int i = myTabs.getIndexOf(myTabs.getSelectedInfo());
    if (i > 0) {
      myTabs.select(myTabs.getTabAt(i - 1), true);
    }
  }